Prolog-D-Linda v2: A New Embedding of Linda in SICStus Prolog
نویسنده
چکیده
This paper presents an embedding of the Linda parallel programming paradigm into Prolog, resulting in a coarsely grained parallel Prolog1. The embedding provides a distributed tuple space, using unification for matching and Prolog style deduction in tuple space queries. Access to the tuple space is based on a general service mechanism, that facilitates flexible and unrestricted manipulation of tuples. A new mechanism, called an 'abandon request', has been introduced in the implementation, to facilitate time dependent tuple space access. A controller process is used to provide remote I/O facilities for all background processes. Two applications have been developed using Prolog-D-Linda.
منابع مشابه
Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda
The paper presents a knowledge representation formalism for multi-agent systems, where different autonomous agents reason and act in a shared environment. Agents are autonomously pursuing individual goals, but are capable of interacting through a shared knowledge repository and collaborative actions. In their interaction through shared portions of the world, agents deal with problems of synchro...
متن کاملMulti-Agent Simulation of Protein Folding
A protein is identified by a finite sequence of amino acids, each of them chosen from a set of 20 elements. The Protein Structure Prediction Problem, fundamental for biological and pharmaceutical research, is the problem of predicting the 3D native conformation of a protein, when its sequence of amino acids is known. All current mathematical models of the problem are affected by intrinsic compu...
متن کاملAutonomous agents coordination: Action languages meet CLP() and Linda
The paper presents a knowledge representation formalism, in the form of a high-level Action Description Language (ADL) for multi-agent systems, where autonomous agents reason and act in a shared environment. Agents are autonomously pursuing individual goals, but are capable of interacting through a shared knowledge repository. In their interactions through shared portions of the world, the agen...
متن کاملNative Code Compilation in SICStus Prolog
SICStus Prolog is a sequential Prolog implementation built around a version of the Warren Abstract Machine (WAM). For several years, SICStus has supported WAM-to-native code compilation for Sun workstations. This old scheme is neither as portable nor as open to experiments as would be desirable. With the support of my colleagues in the SICStus group, I have developed a new scheme that is more o...
متن کاملSICStus Prolog - The first 25 years
SICStus Prolog has evolved for nearly 25 years. This is an appropriate point in time for revisiting the main language and design decisions, and try to distill some lessons. SICStus Prolog was conceived in a context of multiple, conflicting Prolog dialect camps and a fledgling standardization effort. We reflect on the impact of this effort and role model implementations on our development. After...
متن کامل